Finite automata - PDFSEARCH.IO - Document Search Engine

Finite automata
Results: 673

#	Item
251	Computational approaches to analyze complex dynamic systems: model-checking and its applications. Part 4: Models and algorithms to analyze large-scale concurrent systems: approaches inspired by pi-calculus and static ana Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2013-04-15 19:28:16 Applied mathematics Theoretical computer science Automata theory Systems Petri net Formal verification Finite-state machine Algorithm Dynamical system Models of computation Concurrency Computer science
252	COMS11700 Turing machines Ashley Montanaro Department of Computer Science, University of Bristol Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2014-05-31 09:18:34 Computer science Models of computation Computability theory Automata theory Finite-state machine Universal Turing machine Computability Theory of computation Turing machine Theoretical computer science
253	Cost-Optimal Factored Planning: Promises and Pitfalls Eric Fabre Lo¨ıg Jezequel Patrik Haslum and Sylvie Thi´ebaux Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2010-06-05 04:12:42 Applied mathematics Finite state transducer Polynomial Factorization IP Tree automaton SL Theoretical computer science Automata theory Mathematics
254	University of Scranton ACM Student Chapter / Computing Sciences Department 19th Annual High School Programming Contest (2009) -----------------------------------------------------------------------------Problem 1: Fibona Add to Reading List Source URL: www.cs.uofs.edu Language: English - Date: 2009-12-01 18:14:21 Deterministic finite automaton Mathematics Applied mathematics Nondeterministic finite automaton Finite-state machine Fibonacci number Sequence Rope Automata theory Models of computation Computer science
255	Nik Boyd Copyright 2004 Nikolas S. Boyd. All rights reserved. State Names Add to Reading List Source URL: educery.com Language: English - Date: 2005-07-08 01:55:48 Models of computation Finite-state machine Automated teller machine Identifier Business Electronics Technology Automata theory Digital electronics
256	INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE[removed]Motif Statistics Pierre NICODE ME, Bruno SALVY, Philippe FLAJOLET Add to Reading List Source URL: algo.inria.fr Language: English - Date: 1999-05-18 12:04:41 Computer science Applied mathematics Deterministic finite automaton Nondeterministic finite automaton Generating function Markov chain Probability-generating function Computability Finite-state machine Automata theory Models of computation Theoretical computer science
257	Increasing Interaction and Support in the Formal Languages and Automata Theory Course∗ [Extended Abstract] Susan H. Rodger Jinghui Lim Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 2007-04-07 14:47:47 Applied mathematics Mathematics Finite-state machine Pumping lemma for regular languages Theory of computation Mealy machine Moore machine Logic Formal grammar Models of computation Automata theory Formal languages
258	Turning Automata Theory into a Hands-on Course ∗ Susan H. Rodger Bart Bressler Thomas Finley Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 2006-02-24 16:07:36 Automata theory Turing machine Computer science Formal languages Deterministic finite automaton Finite-state machine Unrestricted grammar Nondeterministic finite automaton Pushdown automaton Theory of computation Models of computation Theoretical computer science
259	HC17.S2T3 High-Performance Pattern-Matching Engine for Intrusion Detection.ppt Add to Reading List Source URL: www.hotchips.org Language: English - Date: 2013-07-27 23:45:52 Hash function Field-programmable gate array Computer science Electronics Applied mathematics Models of computation Automata theory Finite-state machine
260	A Type System for Expressive Security Policies∗ David Walker Cornell University Strong type systems such as those of Java or ML provide provable guarantees about the run-time behaviour of programs. If we type check pro Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-11-02 01:07:11 Logic Mathematical logic First-order logic Model theory Predicate logic Symbol Computability Finite-state machine Linear temporal logic Automata theory Models of computation Theoretical computer science

UPDATE